2

A typed lambda calculus with intersection types

Year:
2008
Language:
english
File:
PDF, 420 KB
english, 2008
3

Towards Object-Oriented Klaim

Year:
2002
Language:
english
File:
PDF, 167 KB
english, 2002
7

Delegation by object composition

Year:
2011
Language:
english
File:
PDF, 420 KB
english, 2011
8

MOMI: a calculus for mobile mixins

Year:
2005
Language:
english
File:
PDF, 1.24 MB
english, 2005